Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
211	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-11 16:56:14 Recursion Theoretical computer science Category theory Functional programming Higher-order functions Corecursion Fold Coinduction Map Software engineering Computer programming Declarative programming
212	Babelsberg : specifying and solving constraints on object behavior (Technische Berichte des Hasso-Plattner-Instituts ; 81) Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:16:20 Computer programming States of Germany University of Potsdam Constraint satisfaction Potsdam-Babelsberg Declarative programming Constraint programming Software engineering Programming paradigms
213	Under consideration for publication in J. Functional Programming 1 Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism∗ Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:02 Type theory Functional programming Data types Higher-order functions Lambda calculus Higher-order abstract syntax Eval Catamorphism System F Software engineering Computing Declarative programming
214	PDF Document Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2014-03-31 10:35:12 Declarative programming Computing Parallel computing Computer science Distributed computing
215	Architectures for Cooperating Constraint Solvers Alan Borning This material is based upon work supported in part by the National Science Foundation under Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:21 Software engineering Constraint satisfaction Constraint logic programming Cassowary Satisfiability Modulo Theories Constraint graph Solver Prolog ECLiPSe Constraint programming Declarative programming Theoretical computer science
216	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
217	Babelsberg/JS A Browser-based Implementation of an Object Constraint Language Tim Felgentreff, Alan Borning, Robert Hirschfeld, Jens Lincke Yoshiki Ohshima, Bert Freudenberg, Robert Krahn Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:43 Programming paradigms Computing Constraint satisfaction Kaleidoscope Constraint logic programming Declarative programming E Logic programming Constraint Constraint programming Software engineering Computer programming
218	Certified HLints with Isabelle/HOLCF-Prelude Joachim Breitner1∗, Brian Huffman2 , Neil Mitchell3 and Christian Sternagel4† 1 Karlsruhe Institute of Technology, 2 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-09 08:11:26 Functional programming Functional languages Recursion Literate programming Type class Type theory Haskell Monad Pattern matching Software engineering Declarative programming Computing
219	Declarative Parallel Programming for GPUs Eric HOLK William BYRD Nilesh MAHAJAN Jeremiah WILLCOCK Arun CHAUHAN and Andrew LUMSDAINE Add to Reading List Source URL: www.osl.iu.edu Language: English - Date: 2012-01-26 12:44:47 Graphics hardware Software Video cards Nvidia Video game hardware OpenCL CUDA Graphics processing unit Parallel computing GPGPU Computing Computer hardware
220	A Hybrid AI Approach to Staff Scheduling Graham Winstanley School of Computing & Mathematical Sciences University of Brighton [removed] Add to Reading List Source URL: www.it.bton.ac.uk Language: English - Date: 2002-08-09 08:16:48 Computer programming Nurse scheduling problem Constraint satisfaction Constraint logic programming Constraint ECLiPSe Mathematical optimization Constraint programming Declarative programming Software engineering

UPDATE